William R. Bevier: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Machine checked proofs of the design of a fault-tolerant circuit

William R. Bevier, William D. Young

Journal:

Formal Aspects of Computing

Year:

1992

Language:

english

File:

PDF, 1.29 MB

english, 1992

2

An approach to systems verification

William R. Bevier, Warren A. Hunt, J Strother Moore, William D. Young

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 956 KB

english, 1989

3

Kit and the short stack

William R. Bevier

Journal:

Journal of Automated Reasoning

Year:

1989

Language:

english

File:

PDF, 572 KB

english, 1989

4

A State-based Approach to Noninterference

Bevier, William R., Young, William D.

Journal:

Journal of Computer Security

Year:

1995

File:

PDF, 3.44 MB

1995

5

Systematic 24-hr behavioral observations of sleep and wakefulness in a skilled-care nursing facility.

Bliwise, Donald L., Bevier, Wendy C., Bliwise, Nancy G., Edgar, Dale M., Dement, William C.

Journal:

Psychology and Aging

Year:

1990

Language:

english

File:

PDF, 1.39 MB

english, 1990

6

[IEEE 1987 IEEE Symposium on Security and Privacy - Oakland, CA, USA (1987.4.27-1987.4.29)] 1987 IEEE Symposium on Security and Privacy - Toward Verified Execution Environments

Bevier, William R., Hunt, Jr., Warren A., Young, William D.

Year:

1987

Language:

english

File:

PDF, 1.03 MB

english, 1987

7

The Santa Barbara County diabetic retinopathy screening feasibility study: Significance of diabetes duration and systolic blood pressure

John M. Lewis, Lois Jovanovic-Peterson, Ilya Ahmadizadeh, Wendy Bevier, Charles M. Peterson, Barry Williams

Journal:

Journal of Diabetes and its Complications

Year:

1994

Language:

english

File:

PDF, 495 KB

english, 1994

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски